41. Automorphisms of first-order structures
پدیدآورنده : edited by Richard Kaye and Dugald Macpherson
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : ، Model theory,، Permutation groups,، Automorphisms
رده :
QA
9
.
7
.
A98
1994
42. Automorphisms of first-order structures
پدیدآورنده : edited by Richard Kaye and Dugald Macpherson
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Model theory,، Permutation groups,، Automorphisms
رده :
QA
9
.
7
.
A98
1994
43. Automorphisms of first-order structures
پدیدآورنده : edited by Richard Kaye and Dugald Macpherson
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Model theory,، Permutation groups,، Automorphisms
رده :
QA
9
.
7
.
A96
44. Automorphisms of first-order structures /
پدیدآورنده : edited by Richard Kaye and Dugald Macpherson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automorphisms,Model theory,Permutation groups
رده :
QA9
.
7
.
A98
1994
45. Automotive model predictive control
پدیدآورنده : / edited by Luigi del Re ... [et al.]
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Automatic control, Congresses,Control theory, Congresses,Automotive model predictive control
رده :
E-BOOK
46. Automotive model predictive control
پدیدآورنده : edited by Luigi del Re ... [et al.]&
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Automatic control, Congresses,Control theory, Congresses,Automotive model predictive control
47. Automotive model predictive control models, methods and applications
پدیدآورنده : edited by Luigi del Re ... ]et al.[
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Automatic control, Congresses,، Control theory, Congresses,، Automotive model predictive control
رده :
TJ
212
.
2
.
A972
2010
48. Basic model theory
پدیدآورنده : Doets, Kees
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Model theory
رده :
QA
9
.
7
.
D62
49. Basic model theory /
پدیدآورنده : Kees Doets
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Model theory
رده :
QA9
.
7
.
D64
1996
50. Beyond first order model theory
پدیدآورنده : \ edited by Jose Iovino.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Model theory.,Logic, Symbolic and mathematical., نظریه مدل,منطق ریاضی
رده :
QA9
.
7
.
I587
2017
E-book
,
51. Beyond first order model theory
پدیدآورنده : edited by Jose Iovino
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Model theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
7
.
B49
52. Beyond standard model phenomenology at the LHC
پدیدآورنده : de Aquino, Priscila, Priscila de Aquino
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Standard model )Nuclear physics(,، Physics,، Elementary Particles, Quantum Field Theory
رده :
QC
53. Beyond the standard model, November 18-20, 1988 Iowa State University Ames, Iowa
پدیدآورنده : edited by Kerry Whisnant and Bing-Lin Young
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Standard model )Nuclear physics(,Congresses ، Particles )Nuclear physics(,Congresses ، Phenomenological theory )Physics(
رده :
QC
794
.
6
.
S75B46
1988
54. Bounded variable logics and counting
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Model theory. ; Computational complexity. ;
55. Bounded variable logics and counting : a study in finite models
پدیدآورنده : Otto, Martin, 1691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Model theory,، Computational complexity
رده :
QA
9
.
A1L44
Vol
.
9
56. Building models by games
پدیدآورنده : Hodges, Wilfrid.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Model theory,، Game theory
رده :
QA
9
.
7
.
H63
1985
57. Categoricity /
پدیدآورنده : John T. Baldwin
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Completeness theorem,Model theory
رده :
QA9
.
67
.
B35
2009
58. Categoricity
پدیدآورنده : Baldwin, John T.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Completeness theorem,، Model theory
رده :
QA
9
.
67
.
B25C3
59. Classification theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده : J.T. Badwin )ed.(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Model theory - Congresses
رده :
QA
3
.
L28
no
.
1292
60. Classification theory and the number of non-isomorphic models
پدیدآورنده : Shelah, Saharon.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Model theory
رده :
QA
9
.
7
.
S53
1990
